1. Logic in computer science : modelling and reasoning about systems

by Huth, Michael | Ryan, Mark.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2010Availability: Items available for loan: [Call number: 005.1 HUT] (2).
2. Logic in Computer Science : modeling and reasoning about systems

by Huth, Michael | Ryan, Mark.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cambridge: Cambridge University Press, 2004Availability: Items available for loan: [Call number: 005.1015113 HUT] (1).

Powered by Koha